Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: v. 1 (Synthese Library)
by
ISBN 13: 9780792343837
Format: Hardcover (552 pages) Publisher: Springer Published: 31 Dec 1996
Save for later
Algebraic Foundations of Many-Valued Reasoning (Trends in Logic)
by Roberto L. O. Cignoli,Itala M. L. D'Ottaviano,Daniele Mundici
ISBN 13: 9780792360094
Format: Hardcover (244 pages) Publisher: Springer Published: 30 Nov 1999
by R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
ISBN 13: 9789048153367
Format: Paperback (244 pages) Publisher: Springer Published: 03 Dec 2010 Other Format: Hardcover
Logic: a Brief Course (UNITEXT / La Matematica per il 3+2)
by Daniele Mundici
ISBN 13: 9788847023604
Format: Paperback (130 pages) Publisher: Springer Published: 02 Feb 2012
Structures and Norms in Science: Volume Two of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995: 260 (Synthese Library)
by Maria Luisa Dalla Chiara,Kees Doets,Daniele Mundici
ISBN 13: 9780792343844
Format: Illustrated (516 pages) Publisher: Springer Published: 31 Dec 1996
Computational Logic and Proof Theory: Third Kurt G¿¿del Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993. Proceedings: Third Kurt Gödel ... 713 (Lecture Notes in Computer Science)
by Daniele Mundici,Alexander Leitsch,Georg Gottlob
ISBN 13: 9783540571841
Format: Paperback (372 pages) Publisher: Springer Published: 13 Aug 1993
Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... 1071 (Lecture Notes in Computer Science)
by Pierangelo Miglioli,Daniele Mundici,Mario Ornaghi,Ugo Moscato
ISBN 13: 9783540612087
Format: Paperback (348 pages) Publisher: Springer Published: 13 Jun 2008
Computational Logic and Proof Theory: 5th Kurt G??del Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings: 5th Kurt Gödel Colloquium, ... 1289 (Lecture Notes in Computer Science)
ISBN 13: 9783540633853
Format: Paperback (364 pages) Publisher: Springer Published: 13 Jun 2008